Add an install-time check for hotplug.

The hotplug subsystem is currently needed for block devices to work, as
of changeset 6742:e9d01c5dc7b4d6b7cda9ade0d137ddb89bb204cc.  Add a
script to check for the presence of hotplug and warn if it isn't found.

Signed-off-by: Michael Vrable <mvrable@cs.ucsd.edu>

diff --git a/tools/check/check_hotplug b/tools/check/check_hotplug
new file mode 100644 (file)
index 0000000..15c9021
--- /dev/null
+++ b/tools/check/check_hotplug
@@ -0,0 +1,10 @@
+#!/bin/bash
+# CHECK-INSTALL
+
+function error {
+   echo
+   echo '  *** Check for the hotplug scripts (hotplug) FAILED'
+   exit 1
+}
+
+which hotplug 1>/dev/null 2>&1 || error